-
1 невыводимая формула
Большой англо-русский и русско-английский словарь > невыводимая формула
-
2 невыводимая формула
Mathematics: disprovable formula, underivable formulaУниверсальный русско-английский словарь > невыводимая формула
-
3 невыводимая формула
disprovable formula мат., underivable formulaРусско-английский научно-технический словарь Масловского > невыводимая формула
-
4 disprovable formula
Большой англо-русский и русско-английский словарь > disprovable formula
-
5 underivable formula
Большой англо-русский и русско-английский словарь > underivable formula
-
6 disprovable formula
Математика: невыводимая формула -
7 underivable formula
Математика: невыводимая формула -
8 disprovable formula
мат. -
9 underivable formula
мат.
См. также в других словарях:
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
КРИПКЕ МОДЕЛИ — структуры, состоящие из нек рого множества обычных моделей для классической логики, упорядоченных между собой нек рым отношением, н служащие для интерпретации в них различных неклассических логик (интуипионистской, модальных и др.). Точнее, К. м … Математическая энциклопедия